.estilogeneral { font-family: Verdana,sans-serif; font-size: small; text-align: justify; }
.indice { text-decoration:none; }
a.indice:hover { color: inherit; }
.titulo { font-size: large; font-weight: bold; }
.comando { font-style: italic; }